منابع مشابه
Tiger 700
This paper documents the TIGER 700 RMRS Treebank which has been obtained as the result of a software project. The treebank is a semantic projection from a subset of the TIGER Dependency Bank and was derived automatically, using treebank conversion methods. In a second phase, it will be manually validated and corrections will be made as necessary, supported by an interactive editing tool.
متن کاملDmm018242 691..700
Acute schistosomiasis is characterized by pro-inflammatory responses against tissueor organ-trapped parasite eggs along with granuloma formation. Here, we describe studies in Cx3cr1 mice and demonstrate the role of Cx3cr1 in the pathoetiology of granuloma formation during acute schistosomiasis. Mice deficient in Cx3cr1 were protected from granuloma formation and hepatic injury induced by Schist...
متن کاملDmd055566 700..706
The efflux transporter P-glycoprotein, expressed at high levels at the blood-brain barrier, exerts a profound effect on the disposition of various therapeutic compounds in the brain. A rapid and efficient modulation of this efflux transporter could enhance the distribution of its substrates and thereby improve central nervous system pharmacotherapies. This study explored the impact of the intra...
متن کاملThe next 700 Krivine machines
The Krivine machine is a simple and natural implementation of the normal weak-head reduction strategy for pure λ-terms. While its original description has remained unpublished, this machine has served as a basis for many variants, extensions and theoretical studies. In this paper, we present the Krivine machine and some well-known variants in a common framework. Our framework consists of a hier...
متن کاملCS 700 : Computational Mechanism Design
[IMD] Introduction to mechanism design (for computer scientists), by N. Nisan. In N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, editors, Algorithmic Game Theory, chapter 9. Cambridge University Press, 2007. [CAs] Combinatorial Auctions, by L. Blumrosen and N. Nisan. In N. Nisan, T. Roughgarden, E. Tardos, and V. Vazirani, editors, Algorithmic Game Theory, chapter 11. Cambridge Universit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Ruch Biblijny i Liturgiczny
سال: 1964
ISSN: 2391-8497,0209-0872
DOI: 10.21906/rbl.2992